logic generating language

逻辑生成语言